Советский философский словарь - логическое следование
Связанные словари
Логическое следование
логическое следование
отношение между нек-рыми высказываниями (посылками) Г и высказыванием В (заключением), отображающее тот факт, что из Г, используя правильные приёмы рассуждения, можно получить В. В логике, фиксирующей нормы рассуждения с помощью построения формализов аксиоматич. теорий (логич. исчислений), утверждение о Л. с. В из Г в нек-ром исчислении (символически: Г В) означает существование такой конечной последовательности формул (называемой выводом из посылок), в к-рой каждый член этой последовательности есть либо одна из посылок Г, либо аксиома, либо получается из предшествующих членов последовательности по одному из правил вывода, причём последний член этой последовательности есть В. Если для построения вывода Г h В не требуется никаких посылок (т. е. если множество Г пусто), то говорят о логич. доказуемости В. Утверждения о том, что Г h В, могут быть использованы как правила логики для высказываний с соответств. логич. структурой, однако при том условии, что в рамках принятой семантики при истинности всех посылок из Г гарантируется истинность В. В таком случае говорят, что между Г и В имеет место отношение Л. с. в семантич. смысле (символически: Г h В). Чтобы решить задачу формального описания свойств Л. с. в рамках исчисления, в язык последнего вводится спец. связка импликация. Имеется ряд формальных теорий Л. с. (теории материальной, строгой, релевантной импликации и др.), к-рые с различных сторон уточняют понятие Л. с.
Рейтинг статьи:
См. в других словарях
1.
отношение, существующее между посылками и обоснованно выводимыми из них заключениями. Л.с. относится к числу фундаментальных, исходных понятий логики, точного универсального определения не имеет; в частности, описание его с помощью слов "выводимо", "вытекает" и т. п. содержит неявный круг, поскольку последние являются синонимами слова "следует". Понятие Л. с. обычно характеризуется через связи с другими логическими понятиями, и прежде всего через понятия логического закона и модели. Из высказывания А логически следует высказывание В, когда импликация "Если A, то В" является частным случаем закона логики. Напр., из высказывания "Если натрий металл, он пластичен" логически вытекает высказывание "Если натрий непластичен, он не металл", поскольку импликация, основанием которой является первое высказывание, а следствием второе, представляет собой частный случай логического контрапозиции закона. Иное, семантическое определение логического следования: из посылок A1, ..., Аn логически следует высказывание В, если не может быть так, что высказывания A1, ..., Аn истинны, а высказывание В ложно (т. е. если В истинно в любой модели, в...Словарь по логике
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1735 | |
2 | 1417 | |
3 | 1216 | |
4 | 1148 | |
5 | 1136 | |
6 | 1101 | |
7 | 905 | |
8 | 834 | |
9 | 790 | |
10 | 757 | |
11 | 748 | |
12 | 732 | |
13 | 701 | |
14 | 700 | |
15 | 697 | |
16 | 682 | |
17 | 679 | |
18 | 654 | |
19 | 649 | |
20 | 630 |